1. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
2. Metamathematical investigation of intuitionistic arithmetic and analysi
پدیدآورنده : / A.S. Troelstra (editor)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Intuitionistic mathematics.,Proof theory.,Model theory.
رده :
QA3
,.
L28
,
no
.,
34
3. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
